본문 바로가기

▶ 자연과학

【머신러닝】 AlphaGeometry 설치 및 이해 AlphaGeometry 설치 및 이해 추천글 : 【알고리즘】 알고리즘·머신러닝 목차 1. 개요 [본문]2. 설치 과정 [본문]a. IMO 기하 문제 풀이b. 자연어 처리와 거대 언어 모델 1. 개요 [목차]⑴ AlphaGeometry : 네이처 논문에 투고된 언어 모델로서 symbolic deduction을 구현하여 IMO 수준의 기하 문제를 풀 수 있음⑵ 기하학에서의 symbolic deduction : 《유클리드 원론》처럼 직선, 작도, 동심원 등에 관한 공리에서 시작하여 새로운 명제를 만들어 나가는 것⑶ 문제의 조건이 주어져 있을 때 답에 근접하기 위한 명제에 접근하기 위해 search space 안에서 계속 탐색하는 접근을 취함 ⑷ Google DeepMind에서 만든 알고리즘으로, 가설을 생성..
【국제수학올림피아드】 IMO 기하 문제 풀이 (2020년 ~ 2024년) IMO 기하 문제 풀이 (2020년 ~ 2024년) 추천글 : 【기하학】 IMO 기하 문제 풀이 종합 a. 정식 풀이 : 2020, 2021, 2022, 2023  IMO 2020, Problem 1. Consider the convex quadrilateral ABCD. The point P is in the interior of ABCD. The following ratio equalities hold:  ∠PAD : ∠PBA : ∠DPA = 1 : 2 : 3 = ∠CBP : ∠BAP : ∠BPC.  Prove that the following three lines meet in a point: the internal bisectors of angles ∠ADP and ∠PCB and the perp..
【국제수학올림피아드】 IMO 기하 문제 풀이 (2015년 ~ 2019년) IMO 기하 문제 풀이 (2015년 ~ 2019년) 추천글 : 【기하학】 IMO 기하 문제 풀이 종합 a. 정식 풀이 : 2015, 2016, 2017, 2018, 2019  IMO 2015, Problem 3. Let ABC be an acute triangle with AB > AC. Let Γ be its circumcircle, H its orthocenter, and F the foot of the altitude from A. Let M be the midpoint of BC. Let Q be the point on Γ such that ∠HQA = 90° and let K be the point on Γ such that ∠HKQ = 90°. Assume that the points A, B..
【국제수학올림피아드】 IMO 기하 문제 풀이 (2010년 ~ 2014년) IMO 기하 문제 풀이 (2010년 ~ 2014년) 추천글 : 【기하학】 IMO 기하 문제 풀이 종합 a. 정식 풀이 : 2010, 2011, 2012, 2013, 2014  IMO 2010, Problem 2. Let I be the incenter of a triangle ABC and let Γ be its circumcircle. Let line AI intersect Γ again at D. Let E be a point on arc BDC and F a point on side BC such that  ∠BAF = ∠CAE BAC.  Finally, let G be the midpoint of IF. Prove that DG and EI intersect on Γ. ○ 풀이. 추후 업데이트  ..
【국제수학올림피아드】 IMO 기하 문제 풀이 (2005년 ~ 2009년) IMO 기하 문제 풀이 (2005년 ~ 2009년) 추천글 : 【기하학】 IMO 기하 문제 풀이 종합 a. 정식 풀이 : 2005, 2006, 2007, 2008, 2009  IMO 2005, Problem 1. Six points are chosen on the sides of an equilateral triangle ABC : A1, A2 on BC, B1, B2 on CA and C1, C2 on AB, such that they are the vertices of a convex hexagon A1A2B1B2C1C2 with equal side lengths. Prove that the lines A1B2, B1C2 and C1A2 are concurrent. ○ 풀이. 추후 업데이트  IMO ..
【국제수학올림피아드】 IMO 기하 문제 풀이 (2000년 ~ 2004년) IMO 기하 문제 풀이 (2000년 ~ 2004년) 추천글 : 【기하학】 IMO 기하 문제 풀이 종합 a. 정식 풀이 : 2000, 2001, 2002, 2003, 2004  IMO 2000, Problem 1. Two circles G1 and G2 intersect at two points M and N. Let AB be the line tangent to these circles at A and B, respectively, so that M lies closer to AB than N. Let CD be the line parallel to AB and passing through the point M, with C on G1 and D on G2. Lines AC and BD meet at E..
【RStudio】 R에서 Python 실행하기 R에서 Python 실행하기(Windows 기준) 추천글 : 【RStudio】 R 스튜디오 목차 1. 개요 [본문]2. step 1. R 설치 [본문]3. step 2. 파이썬 설치 및 환경 조성 [본문]4. step 3. R에서 파이썬 환경 활성화 [본문]5. step 4. 파이썬 호출하기 [본문]a. 파이썬에서 R 실행하기 1. 개요 [목차]⑴ 의의 1. 이미 짜여진 R 코드와 파이썬 코드를 R 상에서 결합할 수 있음⑵ 의의 2. R에서 파이썬 패키지를 사용할 수 있음 ① tensorflow, keras 등은 파이썬에서 인공신경망을 구현하기 위해 만들어짐 ② 2017년부터 R에서 실행 가능한 tensorflow, keras 버전이 출시됐지만 환경 설정이 어렵다는 문제가 발생 install.packag..
【생물학】 생물학 목차 생물학 목차 추천글 : 【유기화학】 유기화학 목차최근 수정 내역Siglec (24.04.08)HER-2 grading system (24.04.05)direct Visium과 probe-based Visium (24.02.21) 전하는 말 Ⅰ. 세포생물학1강. 생명체의 구성2강. 세포 이론3강. 세포와 물질대사4강. 세포와 에너지 대사5강. 세포분열과 암6강. 신호전달 Ⅱ. 분자생물학7강. 유전과 유전학8강. 중심학설9강. DNA 테크놀로지10강. 게놈 프로젝트와 시퀀싱 기술11강. 생물정보학 Ⅲ. 동물생리학12강. 동물의 체계화수준13강. 순환계14강. 호흡계15강. 면역학16강. 소화계17강. 배설계18강. 감각계19강. 신경계20강. 내분비계21강. 근육계22강. 골격계23강. 의학24강. 치의학 ..

티스토리툴바